#include "SeqSolver.h"

int main() {
    Problem problem;
    {
    Clause* c = new Clause();
    c->addVariableParity(1);
    c->addVariableParity(-2);
    c->addVariableParity(-3);
    problem.addClause(c);
    }

    {
    Clause* c = new Clause();
    c->addVariableParity(2);
    c->addVariableParity(3);
    c->addVariableParity(4);
    problem.addClause(c);
    }

    {
    Clause* c = new Clause();
    c->addVariableParity(-2);
    c->addVariableParity(3);
    c->addVariableParity(-4);
    c->addVariableParity(-5);
    problem.addClause(c);
    }

    SATSeqSolver solver;
    solver.initializeProblem(problem);
    solver.solve();
    
    return 0;
}
